sufficient condition for differentiability